Valmari, Antti: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

What the small Rubik’s cube taught me about data structures, information theory, and randomisation

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2006

Language:

english

File:

PDF, 1.22 MB

english, 2006

2

Internal and External Hiring

DeVaro, Jed, Kauhanen, Antti, Valmari, Nelli

Journal:

Industrial and Labor Relations Review

Year:

2019

Language:

english

File:

PDF, 147 KB

english, 2019

3

PC-Rimst - a tool for validating concurrent program designs

Journal:

Microprocessing and Microprogramming

Year:

1988

Language:

english

File:

PDF, 927 KB

english, 1988

4

More efficient on-the-fly LTL verification with Tarjan's algorithm

Jaco Geldenhuys, Antti Valmari

Journal:

Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 270 KB

english, 2005

5

Essential transitions to bisimulation equivalences

Jaana Eloranta, Martti Tienari, Antti Valmari

Journal:

Theoretical Computer Science

Year:

1997

Language:

english

File:

PDF, 1.57 MB

english, 1997

6

Stuttering-Insensitive Automata for On-the-fly Detection of Livelock Properties

Henri Hansen, Wojciech Penczek, Antti Valmari

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 187 KB

english, 2002

7

Context-Sensitive Visibility

Antti Valmari, Heikki Virtanen, Antti Puhakka

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 202 KB

english, 2002

8

Verification with the Undefined: A New Look

Antero Kangas, Antti Valmari

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 227 KB

english, 2003

9

A stubborn attack on state explosion

Journal:

Formal Methods in System Design

Year:

1992

Language:

english

File:

PDF, 1.70 MB

english, 1992

10

Compositional failure-based semantic models for Basic LOTOS

Antti Valmari, Martti Tienari

Journal:

Formal Aspects of Computing

Year:

1995

Language:

english

File:

PDF, 1.84 MB

english, 1995

11

Software model checking is a rich research field

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2009

Language:

english

File:

PDF, 311 KB

english, 2009

12

The weakest deadlock-preserving congruence

Journal:

Information Processing Letters

Year:

1995

Language:

english

File:

PDF, 476 KB

english, 1995

13

Reachability analysis -based validation of embedded systems

Journal:

Microprocessing and Microprogramming

Year:

1987

Language:

english

File:

PDF, 875 KB

english, 1987

14

Relaxed Visibility Enhances Partial Order Reduction

Doron Peled, Antti Valmari, Ilkka Kokkarinen

Journal:

Formal Methods in System Design

Year:

2001

Language:

english

File:

PDF, 111 KB

english, 2001

15

Fast brief practical DFA minimization

Journal:

Information Processing Letters

Year:

2012

Language:

english

File:

PDF, 132 KB

english, 2012

16

[Lecture Notes in Computer Science] Model Checking Software Volume 3925 ||

Year:

2006

Language:

english

File:

PDF, 493 KB

english, 2006

17

[IEEE 2012 12th International Conference on Application of Concurrency to System Design (ACSD) - Hamburg, TBD, Germany (2012.06.27-2012.06.29)] 2012 12th International Conference on Application of Concurrency to System Design - All Linear-Time Congruences for Finite LTSs and Familiar Operators

Year:

2012

Language:

english

File:

PDF, 397 KB

english, 2012

18

On constructibility and unconstructibility of LTS operators from other LTS operators

Journal:

Acta Informatica

Year:

2015

Language:

english

File:

PDF, 578 KB

english, 2015

19

[Lecture Notes in Computer Science] Application and Theory of Petri Nets and Concurrency Volume 9115 ||

Devillers, Raymond, Valmari, Antti

Year:

2015

Language:

english

File:

PDF, 11.96 MB

english, 2015

20

[Lecture Notes in Computer Science] Application and Theory of Petri Nets and Concurrency Volume 9115 || An SRN-Based Resiliency Quantification Approach

Devillers, Raymond, Valmari, Antti

Year:

2015

Language:

english

File:

PDF, 990 KB

english, 2015

21

[Lecture Notes in Computer Science] Application and Theory of Petri Nets and Concurrency Volume 9115 || Petri Nets with Structured Data

Devillers, Raymond, Valmari, Antti

Year:

2015

Language:

english

File:

PDF, 452 KB

english, 2015

22

[Lecture Notes in Computer Science] Application and Theory of Petri Nets and Concurrency Volume 9115 || Workflow Management Principles for Interactions Between Petri Net-Based Agents

Devillers, Raymond, Valmari, Antti

Year:

2015

Language:

english

File:

PDF, 1.02 MB

english, 2015

23

[IEEE 2015 15th International Conference on Application of Concurrency to System Design (ACSD) - Brussels, Belgium (2015.6.21-2015.6.26)] 2015 15th International Conference on Application of Concurrency to System Design - Stop It, and Be Stubborn!

Year:

2015

Language:

english

File:

PDF, 229 KB

english, 2015

24

On Liveness and Reversibility of Equal-Conflict Petri Nets

Hujsa, Thomas, Delosme, Jean-Marc, Munier-Kordon, Alix, Devillers, Raymond, Valmari, Antti, Penczek, Wojciech

Journal:

Fundamenta Informaticae

Year:

2016

Language:

english

File:

PDF, 462 KB

english, 2016

25

Characterizing Stable and Deriving Valid Inequalities of Petri Nets

Triebel, Marvin, Sürmeli, Jan, Devillers, Raymond, Valmari, Antti, Penczek, Wojciech

Journal:

Fundamenta Informaticae

Year:

2016

Language:

english

File:

PDF, 445 KB

english, 2016

26

Petri Nets with Structured Data

Badouel, Eric, Hélouët, Loïc, Morvan, Christophe, Devillers, Raymond, Valmari, Antti, Penczek, Wojciech

Journal:

Fundamenta Informaticae

Year:

2016

Language:

english

File:

PDF, 587 KB

english, 2016

27

[IEEE 2016 16th International Conference on Application of Concurrency to System Design (ACSD) - Torun, Poland (2016.6.19-2016.6.24)] 2016 16th International Conference on Application of Concurrency to System Design (ACSD) - The Congruences below Fair Testing with Initial Stability

Year:

2016

Language:

english

File:

PDF, 327 KB

english, 2016

28

Fair testing and stubborn sets

Valmari, Antti, Vogler, Walter

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2017

Language:

english

File:

PDF, 1.11 MB

english, 2017

29

Constructing Minimal Coverability Sets

Piipponen, Artturi, Valmari, Antti, Abdulla, Parosh Aziz, Demri, Stéphane, Finkel, Alain, Leroux, Jérôme, Potapov, Igor

Journal:

Fundamenta Informaticae

Year:

2016

Language:

english

File:

PDF, 177 KB

english, 2016

30

All congruences below stability-preserving fair testing or CFFD

Journal:

Acta Informatica

Year:

2020

File:

PDF, 912 KB

2020

31

Preface

Devillers, Raymond, Valmari, Antti, Penczek, Wojciech, Devillers, Raymond, Valmari, Antti, Penczek, Wojciech

Journal:

Fundamenta Informaticae

Year:

2016

File:

PDF, 31 KB

2016